Science of Computer Programming (journal)

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:academic_journal
gptkbp:abbreviation Sci. Comput. Program.
gptkbp:country gptkb:Netherlands
gptkbp:discipline computer science
gptkbp:editor Mauro Pezzè
gptkbp:established 1981
gptkbp:frequency Monthly
https://www.w3.org/2000/01/rdf-schema#label Science of Computer Programming (journal)
gptkbp:ISSN 0167-6423
1872-7964
gptkbp:language English
gptkbp:peerReviewed yes
gptkbp:publisher gptkb:Elsevier
gptkbp:subject formal methods
software engineering
programming theory
gptkbp:website https://www.journals.elsevier.com/science-of-computer-programming
gptkbp:bfsParent gptkb:Rocco_De_Nicola
gptkbp:bfsLayer 7