Faraz Ahmadi Torshizi

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik
The SCOOP Concurrency Model in Java-like Languages. CPA (2009)
Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller
Beyond contracts for concurrency. Formal Aspects Comput. 21 (4) (2009)
Jonathan S. Ostroff, Faraz Ahmadi Torshizi
Testable Requirements and Specifications. TAP (2007)