Quantcast

Formal Aspects of Computing Reference Libraries

Page 1 of about 1 Articles
Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal...

Word of the Day
alicorn
  • The horn of a unicorn considered as a medical or pharmacological ingredient.
  • A winged horse with a single horn on its head; a winged unicorn.
The word 'alicorn' comes from Italian alicorno, already associated with unicorns and reinterpreted, popularized by Bearing an Hourglass (1984) and other fantasy novels by Piers Anthony.
Related