Tilbage til artikeldetaljer Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets Download Download PDF