Login / Signup

Assertion techniques for dynamic monitoring of linear list data structures.

Stephen S. YauJohn L. RameyRobin A. Nicholl
Published in: J. Syst. Softw. (1980)
Keyphrases