If you have published a paper or technical report that concerns or makes use of PVS in some way, and would like to bring it to the attention of other PVS users, please fill in this form and we will link it in to our web pages and add it to the PVS bibliography.

I am providing this information for the first time
This is an addition or correction to previously provided information

Your name

Your email address

Bibliographic Citation for the paper: BibTeX format please
</p> <p>URL where paper can be obtained<br /> You might find it useful to read the advice at <a href="http://www.csl.sri.com/other/webpub.html"> http://www.csl.sri.com/other/webpub.html</a> first<br /> <textarea name="paper-URL" rows="1" cols="60" /> </p> <p><b>Optional</b>: URL where general description of your work can be found<br /> (suitable for linking in to <a href="user-links.html">http://pvs.csl.sri.com/user-links.html</a>) <br /> <textarea name="general-URL" rows="1" cols="60" /> </p> <p><b>Optional</b>: Comments<br /> <textarea name="Comments" rows="2" cols="60" /> </p> <p><input type="submit" value="Submit Form" /> <input type="reset" value="Reset and start over" /> </p> </form>