Formal architecture modeling of sequential non-recursive C programs
Westman, Jonas, Nyberg, Mattias, Gustavsson, Joakim, Gurov, DilianLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2017.03.007
Date:
March, 2017
File:
PDF, 1.68 MB
english, 2017