EEF/Euro Summer School on Trends in Computer Science Berg en Dal, N., Brinksma, E., Hermanns, H., & Katoen, J. (2001). Lectures on formal methods and performance analysis: First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures. Berlin ; New York: Springer.
Citação norma ChicagoEEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands), Ed Brinksma, Holger Hermanns, e Joost-Pieter Katoen. Lectures On Formal Methods and Performance Analysis: First EEF/Euro Summer School On Trends in Computer Science, Berg En Dal, The Netherlands, July 3-7, 2000 : Revised Lectures. Berlin ; New York: Springer, 2001.
Citação norma MLAEEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands), Ed Brinksma, Holger Hermanns, e Joost-Pieter Katoen. Lectures On Formal Methods and Performance Analysis: First EEF/Euro Summer School On Trends in Computer Science, Berg En Dal, The Netherlands, July 3-7, 2000 : Revised Lectures. Berlin ; New York: Springer, 2001.