Kategori:Formella metoder publikationer
Sidor i kategorin "Formella metoder publikationer"
A
Acta Informatica
F
Formella aspekter av datoranvändning
I
Innovationer inom system- och mjukvaruteknik
J
Journal of Automated Reasoning
Journal of Logic and Computation
L
Logiska metoder i datavetenskap
P
Prentice Hall International Series in Computer Science
U
Unifying Theories of Programming