Back to Results
First PageMeta Content
Software engineering / Formal methods / Theoretical computer science / Systems engineering / Business / Logic in computer science / Formal verification / Verification and validation / Requirement / Object Process Methodology / Runtime verification


Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010
Add to Reading List

Document Date: 2010-11-03 22:22:08


Open Document

File Size: 71,15 KB

Share Result on Facebook