1
Gepubliceerd in 2013
Inhoudsopgave: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Volledige tekst
Elektronisch E-boek