Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings

“… International Conference on Formal Engineering Methods Boca Raton, Fla …”
DE-634
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-706
DE-739
DE-355
Volltext

Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings

“… International Conference on Formal Engineering Methods Boca Raton, Fla …”