Sebastian Krings, Michael Leuschel
Inferring Physical Units in B Models
SEFM, 2013.
@inproceedings{SEFM-2013-KringsL, author = "Sebastian Krings and Michael Leuschel", booktitle = "{Proceedings of the 11th International Conference on Software Engineering and Formal Methods}", doi = "10.1007/978-3-642-40561-7_10", isbn = "978-3-642-40560-0", pages = "137--151", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Inferring Physical Units in B Models}", volume = 8137, year = 2013, }