APA (7th ed.) Citation

Bacchiani, Lorenzo, Bravetti, Mario, Giunti, Marco, Mota, João, & Ravara, António. (2022). A Java typestate checker supporting inheritance.

Chicago Style (17th ed.) Citation

Bacchiani, Lorenzo, Bravetti, Mario, Giunti, Marco, Mota, João, and Ravara, António. A Java Typestate Checker Supporting Inheritance. 2022.

MLA (8th ed.) Citation

Bacchiani, Lorenzo, et al. A Java Typestate Checker Supporting Inheritance. 2022.