Sound, modular and compositional verification of the input/output behavior of programs
Penninckx, Willem ; Jacobs, Bart ; Piessens, Frank Vitek, Jan
Programming Languages and Systems, 2015, Vol.9032, p.158-182
[Periódico revisado por pares]
Springer Berlin Heidelberg
Texto completo disponível