Luc Jorissen

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Andy Kellens, Carlos Noguera, Theo D'Hondt, Luc Jorissen, Bart Van Passel
Verifying the design of an outsourced COBOL system with IntensiVE. ICSM (2010)
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc Jorissen, Bart Van Passel
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems. CSMR (2009)