Jaap Boender Free People Check 

( I'm Jaap Boender)

Loading...

Images of Jaap Boender

(0 from 0 )

News

IFM University of Kent

www.cs.kent.ac.uk
Clara Benac Earle, Kent (no paper); Jaap Boender, Eindhoven, "Verification of BPEL specifications using coloured Petri nets" (.ps). Stacey Conroy, Teesside (no ...

Program - SEFM 2011

www.fing.edu.uy
Site of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011

Programme

etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
Save as document
+1