Testing and Debugging Message Passing Programs in Synergy With Their Specifications
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2000-41305
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2000
Authors
Publisher
IOS Press