FORMAL ASPECTS OF COMPUTING

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.

ISSN information

★ (Paper)

★ (Online)

This article provided by Wikipedia. To edit the contents of this article, click here for original source.

	Vision 2000 Travel Group, Vancouver
	Hotel Valley Ho (Cafe ZuZu, VH Spa)
	Scottsdale CVB
	Interpro Travel Services Inc.
	traverse jamaica
	Pelican Executive Suites
	Travelonly - Dave Corless
	Time Out for Touring Inc.
	Heavenly Paradise Getaways
	Travelonly - Allan Jenkins