172 followers
RT @whileydave: Looking for a good intro to verification with @WhileyLang? Preprint: https://t.co/fc7jFeKuyb SpringerLink: https://t.co/imF…
RT @whileydave: Looking for a good intro to verification with @WhileyLang? Preprint: https://t.co/fc7jFeKuyb SpringerLink: https://t.co/imF…
Looking for a good intro to verification with @WhileyLang? Preprint: https://t.co/fc7jFeKuyb SpringerLink: https://t.co/imFy5UsO6M https://t.co/WuBaB5TffJ
https://t.co/aiNqzLwzco SETSS 2018 Spring School proceedings