Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
Author(s)
Bibliographic Information
Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
（Lecture notes in computer science, 663）
Springer-Verlag, c1993
- : us
- : gw
Available at / 57 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||66393006370
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:663931000550
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: usdc20:511.3/b6312070292618
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
