Target-Independent Specification of Prop
โ
Robert A Oakley; Beverly A Karpinski
๐
Article
๐
2002
๐
Elsevier Science
๐
English
โ 821 KB