Intermediate Executable Architectural Specifications for KBSA, Part II.

Yi Deng

Browse the full SEKE paper archive.