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