Specification and Refinement in General Correctness
doi 10.14236/ewic/nfm1998.8
Full Text
Open PDFAbstract
Available in full text
Date
September 1, 1998
Authors
Publisher
BCS Learning & Development
Available in full text
September 1, 1998
BCS Learning & Development