Automatic runtime consistency checking and debugging of formally specified programs
Year: 1989
Type: article
Authors: D Luckham, Sriram Sankar
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1567659153