The Formal Aspects of Computing journal is published by Springer. It is a peer-reviewed, scientific journal covering the area of formal methods and associated topics in computer science. The Editors-in-Chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group.

PropertyValue
dbpprop:abstract
  • The Formal Aspects of Computing journal is published by Springer. It is a peer-reviewed, scientific journal covering the area of formal methods and associated topics in computer science. The Editors-in-Chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group.
dbpprop:country
dbpprop:discipline
dbpprop:editor
  • J. Woodcock, C. Jones
dbpprop:eissn
  • 1433-299X
dbpprop:frequency
  • Quarterly
dbpprop:hasPhotoCollection
dbpprop:history
  • 1989 – present
dbpprop:impact
  • 1.149 (xsd:double)
dbpprop:issn
  • 0934-5043
dbpprop:language
dbpprop:link
dbpprop:link1Name
  • Online access
dbpprop:publisher
dbpprop:reference
dbpprop:rss
dbpprop:title
  • Formal Aspects of Computing
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
rdf:type
rdfs:comment
  • The Formal Aspects of Computing journal is published by Springer. It is a peer-reviewed, scientific journal covering the area of formal methods and associated topics in computer science. The Editors-in-Chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group.
rdfs:label
  • Formal Aspects of Computing
owl:sameAs
skos:subject
foaf:homepage
foaf:page
is dbpprop:redirect of
is owl:sameAs of