APA (7th ed.) Citation

ALBA CASTRO, M. F. Abstract Certification of Java Programs in Rewriting Logic.

Chicago Style (17th ed.) Citation

ALBA CASTRO, MAURICIO FERNANDO. Abstract Certification of Java Programs in Rewriting Logic.

MLA (9th ed.) Citation

ALBA CASTRO, MAURICIO FERNANDO. Abstract Certification of Java Programs in Rewriting Logic.

Warning: These citations may not always be 100% accurate.