The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 163 of IBM Systems Journal Vol. 41, Issue 1
[page]
IBM Systems Journal
Preserved Fulltext
Stringer-Calvert, “PVS: An Experience Report,” Applied Formal Methods— FM-Trends 98, Volume 1641 of Lecture Notes in Computer Science, D. Hutter, W. Stephan, P. Traverso, and M. ...
Ullman, Editors, Springer-Verlag, Boppard, Germany (October 1998), pp. 338-345.
. E.M. Clarke and J. M. ...
2012 Jahresbericht Annual Report Jahresbericht Annual Report
2013
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all ...
Proceedings of Current Trends in Applied Formal
Methods (FM-Trends 98), volume 1641 of LNCS, Boppard,
Germany, 1999. Springer.
10 C. B. Jones, K. D. Jones, P. A. Lindsay, and R. Moore. ...
Tractor pulling on data warehouses. In Proceedings of the Fourth International Workshop on Testing Database Systems, pages 7:1-7:6, New York, NY, USA, 2011. ACM. 2 M. Abouzour, K. Salem, and P. ...
fatcat:qmtsqeo23jcjffzwbvuoasqchq