Stem cognac$ (all stems)
1 papers:
CSMR-2009-KellensSDJP #cobol #design #framework #named #verification- Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems (AK, KDS, TD, LJ, BVP), pp. 199–208.
CSMR-2009-KellensSDJP #cobol #design #framework #named #verification