H ? « ‹ ← → › »

Language peer sets for JPF:
United States↑
United States/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑

JPF(ID:8200/)

alternate simple view
Country: United States
Designed 1998

model checker input language
References:
  • Havelund, K. (1999) Havelund, K. and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder