Filter
Søkt på: Søkeresultat
Filter
1 treff
Integrated Formal Methods
heftet,
2000,
Engelsk,
ISBN 9783540411963
IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the …