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

Márcio Cornélio
Universidade de Pernambuco, Brazil

L. de Freitas, M. Caraciolo, M. Cornélio:
Logic Programming for Verification of Object-Oriented Programming Law Conditions
/jucs_13_6/logic_programming_for_verification
page 721 - 736
Vol.13 / Issue 6