Chechik, Marsha
VIAF ID: 51236716 ( Personal )
Permalink: http://viaf.org/viaf/51236716
Preferred Forms
- 100 1 _ ‡a Chechik, Marsha
-
- 100 1 _ ‡a Chechik, Marsha
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automatic analysis of consistency between requirements and designs, 1996: | |
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 | |
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers |