TY  - SER
AU  - Lopez-Nores, Martin
AU  - Pazos-Arias, Jose J.
AU  - Garcia-Duque, Jorge
AU  - Blanco-Fernandez, Yolanda
TI  - Procedures and Algorithms  for  Continuous Integration in an Agile Specification Environment
KW  -  Formal Specification
KW  - Agile Software Development
KW  - Continuous Integration
ER  -