Search
for Author
All Reviews
Groce, Alex
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Model driven code checking
Holzmann G., Joshi R., Groce A. Automated Software Engineering 15(3-4): 283-297, 2008. Type: Article
An erstwhile corollary of “thinking in C” was that we felt the specification and the program to be one and the same. Decades of collective suffering led us to realize the value of abstracting high-level models of th...
...
Mar 5 2009
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy