Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.
Latest Publications
TOTAL DOCUMENTS
53
(FIVE YEARS 0)
H-INDEX
8
(FIVE YEARS 0)
Published By IEEE
076952222x
Keyword(s):