Rigorous analysis and design for software intensive systems  07.11.1999 - 12.11.1999 (99451) 
Stefan Jähnichen ... (eds.) 
 - 31 S. 
 - Seminar-Report / Internationales Begegnungs- und Forschungszentrum für Informatik, Geschäftsstelle Schloß Dagstuhl  258 .
 -  258 .
 - Dagstuhl-Seminar-Report  258 .
<br/><br/><label>Nat. Bib. Agency Control No.: </label>313698575  US-OCoLC 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift