Making changes to formal specifications:
โ
Bustard, D.W.; Winstanley, A.C.
๐
Article
๐
1994
๐
IEEE
๐
English
โ 746 KB