2 Hits in 14.4 sec

Page 163 of IBM Systems Journal Vol. 41, Issue 1 [page]

IBM Systems Journal  
Stringer-Calvert, “PVS: An Experience Report,” Applied Formal MethodsFM-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

Kontakt Geschäftsstelle, Schloss Dagstuhl, Heike Clemens, Jutka Gasiorowski
2013 unpublished
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.  ...