Automated derivation of protocols implem
β
M. PuΔko; M. Kapus-Kolar; G. Kandus
π
Article
π
1994
π
Elsevier Science
β 330 KB