Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2008
Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S.
(2008)
Formal Testing of Correspondence Carrying Software.
Technical Report TR-CTIT-08-26,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||