Making formal methods education effectiv
β
David Garlan
π
Article
π
1995
π
Elsevier Science
π
English
β 1006 KB