Formal Object Oriented Development of Software Systems using LOTOS (1993)

by J. Paul Gibson
Citations:27 - 15 self