@inproceedings{ HODGSON_GRANJA:179-184,

author = { PEDRO HODGSON FRIEDRICHS and JUAN CARLOS GRANJA ALVAREZ } ,

title = { "FORMAL CODE INSPECTION IN SMALL TECHNICAL DEVELOPMENT ENVIRONMENTS" },

booktitle = { SCI 2001/ISAS 2001 (.2001.ORLANDO, USA) },

year = { 2001 },

pages = { 179 - 184 },

location = { ORLANDO, USA },

}