130
click to vote
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...