Accessibility navigation

A New Interface to PVS

Tools

Adams, A. A. (2003) A New Interface to PVS. In: Calculemus 2003. Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Aracne Editrice SRL, Rome, Rome, pp. 74-77.

Full text not archived in this repository.

Official URL: http://www.calculemus.net/meetings/rome03/adams.pd...


Item Type:Book or Report Section
Refereed:Yes
Divisions:Faculty of Science > School of Systems Engineering
ID Code:20
Additional Information:Calculemus 2003 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning In conjunction with TPHOLs 2003 and TABLEAUX 2003 Roma Italy – September 10-12, 2003 Version 1.5 of 2003, september 27
Publisher:Aracne Editrice SRL, Rome
Deposit Details

Repository Staff Only: item control page

Page navigation

See also