Chechik, Marsha.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Raskin, Jean-Francois.; Chechik, Marsha. (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by: Blazy, Sandrine.; SpringerLink (Online service); Chechik, Marsha. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: SpringerLink (Online service); Breugel, Franck van, (1966-); Chechik, Marsha.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers / by: Blazy, Sandrine.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Chechik, Marsha. (Language materials, printed)

Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Chechik, Marsha.; Wirsing, M.; SpringerLink (Online service) (Language materials, printed)

Subjects