1,152 followers Software Engineering @ComputerPapers A Formal Model of the Safety-Critical Java Level 2 Paradigm. https://t.co/hQxy6myYRT 29 May 2018 Reply Repost Favourite