A User-friendly Interface for a Lightweight Verification System
Lapets, Andrei, Kfoury, Assaf
Published in Electronic notes in theoretical computer science (19.09.2012)
Published in Electronic notes in theoretical computer science (19.09.2012)
Get full text
Journal Article
Postlude: seamless composition and integration – a perspective on formal methods research
BESTAVROS, AZER, KFOURY, ASSAF, LAPETS, ANDREI
Published in Mathematical structures in computer science (01.08.2013)
Published in Mathematical structures in computer science (01.08.2013)
Get full text
Journal Article