four-phase logic

type of, and design methodology for dynamic logic

Kategorie: