Publication:3077280

zbMath1224.68020MaRDI QIDQ3077280

Tamás Kozsik, Zoltán Istenes, Csaba Hoch, László Attila Tóth

Publication date: 22 February 2011

zbMATH Keywords

correctness; mobile Java code

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• SPARK
• JML