Formal semantics of some functional constructs of the software requirements definition language NDRDL.

Lijun Dong, Jiafu Xu

Browse the full COMPSAC paper archive.