Automatic Generation of Contracts for Concurrent Java Programs

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

135 Downloads (Pure)
Original languageEnglish
Title of host publicationINForum 2022 - Atas do 13º Simpósio de Informática
Place of PublicationPorto, Portugal
PublisherFEUP Edições
Pages131-132
Number of pages2
ISBN (Print)978-972-752-171-5
Publication statusPublished - Sept 2022

Publication series

NameINForum 2022

Keywords

  • paper
  • national
  • rank-X
  • rline-vvcs

Cite this