Special Section on Runtime Verification and Analysis

Special Section on Runtime Verification and Analysis (bibtex)

@Proceedings{sirva,
  year = 	 {2014},
  title = {Special Section on Runtime Verification and Analysis},
  author = {},
  editor = 	 {Eric Bodden and Shahar Maoz},
  series = 	 {Transactions on Aspect-Oriented Software Development (TAOSD)},
  publisher = {Springer},
  note = 	 {To appear},
}