Toggle navigation
Home
People
Departments
Research
About
Login
Search
Self-Checking against Formal Specifications.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lauer, Peter Ernst
Antoy, Sergio
Hamlet, Richard G
publication date
1992
published in
ICCI
Journal
Identity
International Standard Book Number (ISBN) 10
0-8186-2812-X
Additional Document Info
start page
355
end page
360