Refinement-based approach to co-engineering requirements and formal models /
Iliasov, Alexei,author.
Laibinis, Linas,author.
Troubitsyna, Elena(Elena A.),1970-author.
Adjepon-Yamoah, David,author.
Romanovsky, Alexander,1954-author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"March 2015."