scientific article
From MaRDI portal
Publication:2844832
zbMath1270.68168MaRDI QIDQ2844832
Márcio Cornélio, Augusto Sampaio, Ana Cavalcanti
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825642
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
An algebraic approach to the design of compilers for object-oriented languages ⋮ Refactoring Object-Oriented Specifications with Data and Processes ⋮ Sound refactorings ⋮ Towards Formal Proof Script Refactoring
This page was built for publication:
