Software specification language for sequ
β
JoΓ«l Pleyber; Manuel Silva
π
Article
π
1977
π
Elsevier Science
β 617 KB