Patterns for Refinement Automation
From MaRDI portal
Publication:3066119
DOI10.1007/978-3-642-17071-3_4zbMath1312.68072MaRDI QIDQ3066119
Elena Troubitsyna, Linas Laibinis, Alexei Iliasov, Alexander Romanovsky
Publication date: 8 January 2011
Published in: Formal Methods for Components and Objects (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17071-3_4
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items
Uses Software
Cites Work