Kermit: Specification and Verification

Research output: Contribution to journal › Article › peer-review

Original language	American English
Journal	Specification and Validation Methods
State	Published - Sep 1 1995

Disciplines

@article{379fa75b769745db9f31008dae047cc0,

title = "Kermit: Specification and Verification",

author = "Jim Huggins",

note = "Home Browse by Title Books Specification and validation methods Kermit: specification and verification",

year = "1995",

month = sep,

day = "1",

language = "American English",

journal = "Specification and Validation Methods",

}