scientific article; zbMATH DE number 1848384

zbMath1002.68667MaRDI QIDQ4785558

Hans Meijer, Erik Poll

Publication date: 5 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2140/21400165

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Related Items

Weakest pre-condition reasoning for Java programs with JML annotations ⋮ The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML

Uses Software

• JML
• LOOP

This page was built for publication: