scientific article
From MaRDI portal
Publication:2763679
zbMath0977.68579MaRDI QIDQ2763679
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280284
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)
Related Items (2)
Weakest pre-condition reasoning for Java programs with JML annotations ⋮ Coalgebras and monads in the semantics of Java
Uses Software
This page was built for publication:
