English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
INT 2002. Integration of Specification Techniques with Applications in Engineering
Information
Publications
Export
Statistics
Options
Title
INT 2002. Integration of Specification Techniques with Applications in Engineering
Titel Supplements
Grenoble, France, April 6 and 7, 2002. A satellite event of ETAPS 2002
Institut
TU Berlin, Fachbereich 20 Informatik
Verlagsort
Berlin
Datum
2002
Serie
Forschungsberichte - Technische Universität Berlin, Fachbereich 20 Informatik
Konferenz
International Workshop on Integration of Specification Techniques for Applications in Engineering (INT) 2002
Joint European Conferences on Theory and Practice of Software (ETAPS) 2002