[IEEE Comput. Soc Tenth International Workshop on Software Specification and Design. IWSSD-10 2000 - San Diego, CA, USA (5-7 Nov. 2000)] Tenth International Workshop on Software Specification and Design. IWSSD-10 2000 - Model checking implicit-invocation systems
Garlan, D., Khersonsky, S.Year:
2000
Language:
english
DOI:
10.1109/IWSSD.2000.891123
File:
PDF, 564 KB
english, 2000