Lessons from using Z to specify a softwa
โ
Neil, M.; Ostrolenk, G.; Tobin, M.; Southworth, M.
๐
Article
๐
1998
๐
IEEE
๐
English
โ 157 KB