Search results for: Jim Alves-Foss
Lecture Notes in Computer Science > Formal Syntax and Semantics of Java > Formal Grammar for Java > 1-40
Lecture Notes in Computer Science > Formal Syntax and Semantics of Java > Semantic Approaches > 201-240
Lecture Notes in Computer Science > Recent Advances in Intrusion Detection > Formal Analysis for Intrusion Detection > 278-295
Lecture Notes in Computer Science
IEEE Security & Privacy > 2016 > 14 > 1 > 76 - 81
IEEE Security & Privacy > 2015 > 13 > 6 > 72 - 76
IEEE Security & Privacy > 2013 > 11 > 5 > 77 - 79
IEEE Security & Privacy > 2011 > 9 > 6 > 49 - 55