Fingerprint
Dive into the research topics of 'Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?
Marc Schoolderman, Sjaak Smetsers, M.C.J.D. van Eekelen
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review