Quantcast

Latest Formal methods Stories

2008-10-09 09:00:13

Integrations and New User Interface Streamline and Automate Software Change Process CA, Inc. Leanne Agurkis, 407-620-2136 Leanne.Agurkis@ca.com Logo: http://ca.com News Facts -- CA, Inc.


Latest Formal methods Reference Libraries

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 of the journal is to promote growth of computing science, to show its relation to practice and to...

More Articles (1 articles) »
Word of the Day
sudarium
  • A handkerchief.
  • Specifically— The legendary sweat-cloth; the handkerchief of St. Veronica, according to tradition miraculously impressed with the mask of Christ; also, the napkin about Christ's head (Johu xx. 7).
  • In general, any miraculous portrait of Christ.
The word 'sudarium' comes from a Latin word meaning 'a handkerchief'.