Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

অন্যান্য লেখক: “…Edalat, Abbas…”