Home

Ryszard__Janicki


Foundations of the trace assertion method of module interface specification

Tabular representations in relational documents