Specifying Internet applications with DiCons (2001)

by J. C. M. Baeten , H. M. A. van Beek , S. Mauw
Citations:11 - 5 self