Paulo Borba
Home
Projects
Publications
Posts
Courses
Talks
Students
Contact
A Toolset for Checking SPL Refinements
Felipe Ferreira
,
Rohit Gheyi
,
Paulo Borba
,
Gustavo Soares
2014
Cite
Type
Journal article
Publication
Journal of Universal Computer Science
Please enable JavaScript to view the
comments powered by Disqus.
comments powered by
Disqus
Cite
×