scientific article; zbMATH DE number 1956492

MaRDI QIDQ4417836zbMATH OpenFDO

Authors Bernhard Beckert, Wojciech Mostowski

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2621/26210246.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Specification and runtime verification of Java card programs
• scientific article; zbMATH DE number 1706331
• scientific article; zbMATH DE number 1848386
• scientific article; zbMATH DE number 1706329
• scientific article; zbMATH DE number 1848384
• Implementation of Java card virtual machine
• scientific article; zbMATH DE number 1706335
• scientific article; zbMATH DE number 1857507

Cited in

(4)

• A program logic for resources
• scientific article; zbMATH DE number 1706231 (Why is no real title available?)
• A dynamic logic with traces and coinduction
• Certification Using the Mobius Base Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417836)