Quantcast

Formal verification 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
callithump
  • A somewhat riotous parade, accompanied with the blowing of tin horns, and other discordant noises; also, a burlesque serenade; a charivari.
'Callithump' is a back-formation of 'callithumpian,' a 'fanciful formation' according to the Oxford English Dictionary. However, the English Dialect Dictionary, says 'Gallithumpians' is a Dorset and Devon word from the 1790s that refers to 'a society of radical social reformers' or 'noisy disturbers of elections and meetings.'
Related