Formal Aspects of Computing
From Wikipedia, the free encyclopedia
| Formal Aspects of Computing | |
|---|---|
 |
|
| Editor | Jim Woodcock & Cliff Jones |
| Categories | Formal methods |
| Frequency | Quarterly |
| First issue | 1989 |
| Company | Springer |
| Country | Germany |
| Language | English |
| Website | www.springer.com |
| ISSN | 0934-5043 |
The Formal Aspects of Computing journal is published by Springer. It covers 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.
