Categories
Rustan Leino details
You con contact publisher Rustan Leino usig these details:
WWW: http://research.microsoft.com/en-us/um/people/leino/
Rustan Leino software
Display results: 1 - 1 from 1
Dafny 1.9.1
A fairly new programming code language for those developers always on the lookout for some
A fairly new programming code language for those developers always on the lookout for some
Popular tags
Encrypt Hide Delete Secure Encryption Hiding Deletion Security Maxcrypt Maxconceal