Bacchiani, Lorenzo, Bravetti, Mario, Giunti, Marco, Mota, João, & Ravara, António. (2022). A Java typestate checker supporting inheritance.
Citação norma ChicagoBacchiani, Lorenzo, Bravetti, Mario, Giunti, Marco, Mota, João, and Ravara, António. A Java Typestate Checker Supporting Inheritance. 2022.
Citação norma MLABacchiani, Lorenzo, et al. A Java Typestate Checker Supporting Inheritance. 2022.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.