APA (7th ed.) Citation

Abstract Certification of Java Programs in Rewriting Logic. https://doi.org/10.4995/Thesis/10251/13617

Chicago Style (17th ed.) Citation

Abstract Certification of Java Programs in Rewriting Logic. https://doi.org/10.4995/Thesis/10251/13617.

MLA (9th ed.) Citation

Abstract Certification of Java Programs in Rewriting Logic. https://doi.org/10.4995/Thesis/10251/13617.

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