-
1
-
2
-
3
-
4
-
5First International Workshop on Larch [electronic resource] : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 / First International Workshop on Larch [electronic resource] : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 /by Martin, Ursula. editor., Wing, Jeannette M. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
6First International Workshop on Larch [electronic resource] : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 / First International Workshop on Larch [electronic resource] : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 /by Martin, Ursula. editor., Wing, Jeannette M. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
7
-
8FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume... FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume...by Wing, Jeannette M. editor., Woodcock, Jim. editor., Davies, Jim. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS -
9FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume... FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume...by Wing, Jeannette M. editor., Woodcock, Jim. editor., Davies, Jim. editor., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS