90 followers
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes by Lukas Ladenberger and Michael Leuschel https://t.co/VW4ZGOLY0a #sefm16 #staf16
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes by Lukas Ladenberger and Michael Leuschel https://t.co/VW4ZGOLY0a #sefm16 #staf16
Tightening a Contract Refinement by Alessandro Cimatti, Ramiro Demasi and Stefano Tonetta https://t.co/vVapjOTr5f #sefm16 #staf16
Modular Crosscutting Concerns in Component Systems by Antoine El-Hokayem, Ylies Falcone and Mohamad Jaber https://t.co/jJFZsckKUi #sefm16
CoCoSpec: A mode aware contract language by A.Champion, A.Gurfinkel, T.Kahsai and C.Tinelli https://t.co/X8MbDok15u #sefm16 #staf16