Programming ⊂ Modeling ⊂ Engineering
Selić, Bran
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.11-26
[Periódico revisado por pares]
Cham: Springer International Publishing
Texto completo disponível