Title

INT 2000. Integration of Specification Techniques with Applications in Engineering. Extended abstracts

Person Involved
Corporate Author
TU Berlin, Fachbereich 20 Informatik
Publishing Place
Berlin
Publication Date
2000
Series
Forschungsberichte - Technische Universität Berlin, Fachbereich 20 Informatik; 2000/04