Manipulating Software Semantics with Unified Computational Model and Software Quark Model.

Masami Noro, Tsuneo Ajisaka

Browse the full APSEC paper archive.