Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
doi 10.2197/ipsjdc.1.117
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2005
Authors
Publisher
Information Processing Society of Japan