- Static Analysis and Verification of Aerospace Software by Abstract InterpretationRadhia Cousot
Paperback - Coding Techniques for Repairability in Networked Distributed Storage SystemsOggier, Frdrique
Paperback - Learning Representation and Control in Markov Decision Processes: New FrontiersMahadaven, Sridhar
Paperback
