Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Felype Ferreira
Federal University of Pernambuco, Brazil

F. Ferreira, R. Gheyi, P. Borba, G. Soares:
A Toolset for Checking SPL Refinements
/jucs_20_5/a_toolset_for_checking
page 587 - 614
Vol.20 / Issue 5