Integration of Software Specification Techniques for Applications in Engineering 2004

maintained by Schloss Dagstuhl LZI at University of Trier