Start a Wiki
Sign In
Don't have an account?
Register
Sign In
Formal Methods Wiki
Explore
Main Page
All Pages
Community
Interactive Maps
Recent Blog Posts
Wiki Content
Recently Changed Pages
BCS-FACS
Applications of Formal Methods
Abstract State Machines
Lean
Z User Meeting
ABZ 2010
ABZ 2008
Years
1989
1994
1993
1996
2009
1999
1995
Formal methods
Formal methods
Z notation
Formal specification
Projects
Repositories
Who's who
Publications
Community
Help
Sign In
Don't have an account?
Register
Sign In
Explore
Fan Central
Current
Skip to content
Formal Methods Wiki
133
pages
Explore
Main Page
All Pages
Community
Interactive Maps
Recent Blog Posts
Wiki Content
Recently Changed Pages
BCS-FACS
Applications of Formal Methods
Abstract State Machines
Lean
Z User Meeting
ABZ 2010
ABZ 2008
Years
1989
1994
1993
1996
2009
1999
1995
Formal methods
Formal methods
Z notation
Formal specification
Projects
Repositories
Who's who
Publications
Community
Help
in:
Organizations
BCS-FACS
Category page
Sign in to edit
History
Purge
Talk (0)
BCS-FACS
The main article for this
category
is
BCS-FACS
.
All items (17)
#
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Other
BCS-FACS
B
File:BCS-FACS Newsletter Issue 2009-1.pdf
File:BCS-FACS Newsletter Issue 2009-2.pdf
File:BCS-FACS Newsletter Issue 2010-1.pdf
File:BCS-FACS Newsletter Issue 2011-1.pdf
File:BCS-FACS Susan Stepney 2011 slides.pdf
Paul Boca
Jonathan Bowen
F
FACS FACTS
File:FACS sml logo.jpg
File:FACSLogo.jpg
Formal Aspects of Computing
Formal Methods: State of the Art and New Directions
G
GC6
M
Models of computation: automata and processes
S
Jawed Siddiqi
V
VSR-net