Inferring Physical Units in B Models

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40561-7_10 ◽

2013 ◽

pp. 137-151 ◽

Cited By ~ 1

Author(s):

Sebastian Krings ◽

Michael Leuschel

Download Full-text