More About the Author
Janos Sztipanovits is an electrical engineer and computer scientist. He is the E. Bronson Ingram Distinguished Professor of Engineering at the Department of Electrical Engineering and Computer Science at Vanderbilt University.
Review and Comments
Rate the Book
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings 0 out of 5 stars based on 0 ratings.