Book

Structure for Dependability

by Denis Besnard, Cristina Gacek, Cliff Jones