Concepedia
Statistics
Publications
1
Citations
42
H-Index
Active since
1990
M. Säflund is an author specializing in logic, computer science, and propositional logic semantics.
Publications per year
1990–1990
Modeling and Verifying Systems and Software in Propositional Logic
Gunnar Stålmarck, M. Säflund · IFAC Proceedings Volumes · 1990 · 42 citations
Computing, Computer Science, Formal Methods +11
1–1 of 1