scientific article; zbMATH DE number 2087852

MaRDI QIDQ4738855zbMATH OpenFDO

Authors Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1955931
• Computer Aided Verification
• Java bytecode verification: Algorithms and formalizations
• scientific article; zbMATH DE number 2089402
• scientific article; zbMATH DE number 2090288
• scientific article; zbMATH DE number 1304369

Cited in

(5)

• Rule-based programming in Java for protocol verification
• scientific article; zbMATH DE number 2084338 (Why is no real title available?)
• scientific article; zbMATH DE number 1955921 (Why is no real title available?)
• scientific article; zbMATH DE number 1955931 (Why is no real title available?)
• P³: a code and design conventions preprocessor for Java

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 Q4738855)