Inproceedings,

A Generalized Assertion Language.

.
ICSE, page 392-399. IEEE Computer Society, (1976)

Meta data

Tags

Users

  • @dblp

Comments and Reviews