Language
Publisher
Subjects
-
All (
)
-
Free, open source (
)
4Result(s)for '"Havelund Klaus"'
Resource list
By Havelund Klaus Roşu Grigore in Formal Methods in System Design
ISSN:0925-9856|24|2|99-100
Springer Publishing Company (2004)
Access to resources
Favorite
14.969118
By Havelund Klaus Roşu Grigore in Formal Methods in System Design
ISSN:0925-9856|27|3|211-212
Springer Publishing Company (2005)
Access to resources
Favorite
14.969118
By Havelund Klaus Roşu Grigore in Formal Methods in System Design
ISSN:0925-9856|24|2|189-215
Springer Publishing Company (2004)
Access to resources
Favorite
14.969118
By Havelund Klaus Roşu Grigore in International Journal on Software Tools for Technology Transfer
ISSN:1433-2779|6|2|158-173
Springer Publishing Company (2004)
Access to resources
Favorite
14.969118