By Strichman Ofer   in Formal Methods in System Design

ISSN:0925-9856|24|1|5-24

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 23.862026

By Chockler Hana   Strichman Ofer   in Formal Methods in System Design

ISSN:0925-9856|34|1|37-58

Springer Publishing Company ‎(2009)‎

Access to resources Favorite 19.08962

By Groce Alex   Chaki Sagar   Kroening Daniel   Strichman Ofer   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|3|229-247

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 11.931013