Formal methods publications

Acta Informatica ist eine von Fachkollegen begutachtete wissenschaftliche Zeitschrift , die Originalforschungsarbeiten im Bereich Informatik veröffentlicht.

Die Prentice Hall International Series in Computer Science war eine Buchreihe über Informatik, die vom Verlag Prentice Hall herausgegeben wurde .

Das Journal of Automated Reasoning wurde 1983 von Larry Wos gegründet , der bis 1992 dessen Chefredakteur war.