Article,

Type Checking Circus Specifications.

, , and .
Electron. Notes Theor. Comput. Sci., (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews