Search - Archive ouverte HAL Access content directly

Filter your results

1 Résultat

A Java typestate checker supporting inheritance

Lorenzo Bacchiani , Mario Bravetti , Marco Giunti , João Mota , António Ravara et al.
Science of Computer Programming, 2022, 221, pp.102844. ⟨10.1016/j.scico.2022.102844⟩
Journal articles hal-03930280v1