Formal methods(Computer scienc
Overview
| Works: | 7 works in 7 publications in 7 languages | |
|---|---|---|
Titles
Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003
by:
(Language materials, printed)
Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004...
by:
(Language materials, printed)
Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,...
by:
(Language materials, printed)
Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid..
by:
(Language materials, printed)
Formal methods for components and objects:second international symposium,FMCO 2003
by:
(Language materials, printed)
Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,..
by:
(Language materials, printed)
From object-orientation to formal methods: essays in memory of Ole-Johan Dahl
by:
(Language materials, printed)
Subjects