Skip to main content
College of Engineering
Trustworthy and Reliable Technologies Lab (TART)
Contact
EGR
MSU
Maps
Jobs
Home
Members
Projects
Publications
Research
Teaching
Tools
Ali Ebnenasir
Home
Complexity Results in Revising UNITY Programs
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
Revising UNITY Programs: Possibilities and Limitations
Pagination
Subscribe to Ali Ebnenasir
Stay Connected
