Language
Publisher
Subjects
-
All (
) -
Free, open source ( )
2Result(s)for '"Gurfinkel Arie"'
Resource list
By Chechik Marsha Gurfinkel Arie Devereux Benet Lai Albert Easterbrook Steve in Formal Methods in System Design
ISSN:0925-9856|29|3|295-344
Springer Publishing Company (2006)
Access to resources
Favorite
11.182362
By Simmonds Jocelyn Davies Jessica Gurfinkel Arie Chechik Marsha in International Journal on Software Tools for Technology Transfer
ISSN:1433-2779|12|5|319-335
Springer Publishing Company (2010)
Access to resources
Favorite
11.182362