Previous
Next
Journal
- fme 2001: formal methods for increasing software productivity : international symposium of formal methods europe berlin, germany, march 12-16, 2001 proceedings35
- mathematics of program construction (9783540677277)15
- mathematics of program construction : 5th international conference, mpc 2000, ponte de lima, portugal, july 3-5, 2000 proceedings15
- teaching formal methods : second international conference, tfm 2009, eindhoven, the netherlands, november 2-6, 2009. proceedings11
- journal of logical and algebraic methods in programming10
- lecture notes in computer science4
- science of computer programming4
- information services & use3
- advances in engineering software2