Publication:4736405
From MaRDI portal
zbMath1042.68787MaRDI QIDQ4736405
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2263/22630042.htm
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68U99: Computing methodologies and applications
Related Items
Invariant-driven specifications in Maude, Semantics, calculi, and analysis for object-oriented specifications