[IEEE 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - San Francisco, CA, USA (2013.05.25-2013.05.25)] 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Lightweight formal models of software weaknesses
Gandhi, Robin, Siy, Harvey, Wu, YanYear:
2013
Language:
english
DOI:
10.1109/formalise.2013.6612277
File:
PDF, 523 KB
english, 2013