Kolchin, A. (2018). Interactive method for cumulative analysis of software formal models behavior.
Chicago-Zitierstil (17. Ausg.)Kolchin, A. Interactive Method for Cumulative Analysis of Software Formal Models Behavior. 2018.
MLA-Zitierstil (8. Ausg.)Kolchin, A. Interactive Method for Cumulative Analysis of Software Formal Models Behavior. 2018.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.