Abstract Interpretation on Sebastian Krings https://www.krin.gs/tags/abstract-interpretation/ Recent content in Abstract Interpretation on Sebastian Krings Hugo -- 0.166.0 en Tue, 26 May 2015 00:00:00 +0000 Inferring Physical Units in Formal Models https://www.krin.gs/papers/krings-physical-units-sosym/ Tue, 26 May 2015 00:00:00 +0000 https://www.krin.gs/papers/krings-physical-units-sosym/ In Software and Systems Modeling, Springer Inferring Physical Units in B Models https://www.krin.gs/papers/krings-physical-units-sefm13/ Wed, 25 Sep 2013 00:00:00 +0000 https://www.krin.gs/papers/krings-physical-units-sefm13/ In Proceedings SEFM 2013, Springer LNCS