Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1993
Vissers, C.A. and van Sinderen, M.J. and Ferreira Pires, L.
(1993)
What makes industries believe in formal methods.
In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII, 25-28 May 1993, Liege, Belgium.
pp. 3-26.
IFIP Transactions C-16.
North-Holland.
ISBN 0-444-81648-8
This list was generated on Thu May 24 05:58:25 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||