| Document Date: 2011-06-23 07:40:14 Open Document File Size: 328,78 KBShare Result on Facebook
/ IndustryTerm free software / verification tools / bank / prover tools / verification techniques and tools / software verification / verification tool / / Person Boogie Julian Tschannen / Carlo A. Furia / Martin Nordio / / Position observer / and factory design patterns / / ProgrammingLanguage Java / C / / Technology object-oriented programming / Java / / URL http /
SocialTag |