Primary tabs

Most recent publications

IEEE Transactions on Software Engineering 42, no. 12 (2016): 1095-1117.
Journal Article
2016

Status

Departments

Export 2 results:
2016

Journal articles

IEEE Transactions on Software Engineering 42, no. 12 (2016): 1095-1117.
Status: Published
2011

Talks, contributed

In Presentation at the 1st International Workshop on Software Certification (WoSoCER). Hiroshima, Japan, 2011.
Status: Published