Cite
APA Citation
Przigoda, N., Wille, R., Przigoda, J., & Drechsler, R. (2018). Automated validation & verification of UML/OCL models using satisfiability solvers. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100071607167.0x000001
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Przigoda, N., Wille, R., Przigoda, J., & Drechsler, R. (2018). Automated validation & verification of UML/OCL models using satisfiability solvers. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100071607167.0x000001