KORSO : methods, languages, and tools for the construction of correct software : final report
Author(s)
Bibliographic Information
KORSO : methods, languages, and tools for the construction of correct software : final report
（Lecture notes in computer science, 1009）
Springer, c1995
Available at / 50 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||100995067595
-
University of Tsukuba Library, Library on Library and Information Science
007.08:L-49:1009951009240
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
