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 18.316502

By Chockler Hana   Kupferman Orna   Vardi Moshe   in Formal Methods in System Design

ISSN:0925-9856|28|3|189-212

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 13.737377

By Chockler Hana   Kupferman Orna   Vardi Moshe   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|4-5|373-386

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 13.737377