Yliès Falcone, Lenore D. Zuck. Runtime Verification: The Application Perspective. In Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 284-291, 2012.
Copyright notice:
@InProceedings{FalconeZ12,
Author = {Falcone, Yliès and D. Zuck, Lenore},
Title = {Runtime Verification: The Application Perspective},
BookTitle = {Proceedings of the 5th International Symposium on Leveraging Applications, ISoLA 2012},
Volume = {7609},
Pages = {284--291},
Series = {Lecture Notes in Computer Science},
Year = {2012}
}
Get EndNote Reference (.ref)