Object oriented concepts identification from formal \(B\) specifications
From MaRDI portal
Publication:883142
DOI10.1007/S10703-006-0030-1zbMath1116.68050OpenAlexW2053712734MaRDI QIDQ883142
Publication date: 31 May 2007
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-006-0030-1
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
Cites Work
This page was built for publication: Object oriented concepts identification from formal \(B\) specifications