Ten Commandments of Formal Methods
Computer - United States
doi 10.1109/2.375178
Full Text
Open PDFAbstract
Available in full text
Categories
Date
April 1, 1995
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Available in full text
April 1, 1995
Institute of Electrical and Electronics Engineers (IEEE)