Publications

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is L  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
PINCETTE - Validating Changes and Upgrades in Networked Software, Chockler, H., Denaro G., Ling M., Fedyukovich Grigory, Hyvärinen Antti E. J., Mariani L., Muhammad A., Oriol M., Rajan A., Sery O., et al. , 17th European Conference on Software Maintenance and Reengineering, (2013)
V
VERIGE: Verification with Invariant Generation Engine, Latorre, N., Alberti Francesco, and Sharygina Natasha , SPIN, (2014)