Abstract Certification of Java Programs in Rewriting Logic

This item appears in the following Collections