Enforcing structural regularities in software using IntensiVE (2010)

by J Brichau, A Kellens, S Castro, T D’Hondt
Venue:Science of Computer Programming: Experimental Software and Toolkits (EST