Primary tabs

Find publication

Status

Publication type

Export 1 results:
2011

Talks, contributed

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