APA (7th ed.) Citation

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 Style (17th ed.) Citation

Ahrendt, Wolfgang, Gordon J. Pace, and 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 ed.) Citation

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.