“Paul Boca is the Secretary of BCS-FACS. He was previously the FACS FACTS newsletter editor.Paul Boca
“Prof. Jonathan P. Bowen set up this wiki↑ for use by the formal methods community. Jonathan...Jonathan Bowen
“Formal Aspects of Computing is a leading journal on formal methods. It is associated with the...Formal Aspects of Computing
Pages in category "BCS-FACS"
The following 10 pages are in this category, out of 10 total.