Ahrendt, W., Pace, G. J., & Schneider, G. (2016). StaRVOOrS - episode II: Strengthen and distribute the force ; Leveraging applications of formal methods, verification and validation : foundational techniques. ISoLA 2016. Lecture notes in computer science. https://doi.org/10.1007/978-3-319-47166-2_28
Παραπομπή σε μορφή Chicago (17η εκδ.)Ahrendt, Wolfgang, Gordon J. Pace, και Gerardo Schneider. StaRVOOrS - Episode II: Strengthen and Distribute the Force ; Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science. 2016. https://doi.org/10.1007/978-3-319-47166-2_28.
Παραπομπή σε μορφή MLA (9th εκδ.)Ahrendt, Wolfgang, et al. StaRVOOrS - Episode II: Strengthen and Distribute the Force ; Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science. 2016. https://doi.org/10.1007/978-3-319-47166-2_28.