BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
LiquidJava: Adding Lightweight Verification to Java

Participants in the publication
Catarina Gamboa (Author)
Dep. Informatica
Paulo Canelas Santos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Christopher Timperley (Author)
Alcides Fonseca (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
LASIGE - LASIGE Computer Science and Engineering Research Centre

Scope
National

Refereeing
Yes

Date of Publication
2021

Event
INFORUM

Publication Identifiers

Edition
2021

Document Identifiers
URL - https://drive.google.com/file/d/11AahGHNsIS3Gj8oQdnX8Nb3zSnOuIpY2/view


Export

APA
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca, (2021). LiquidJava: Adding Lightweight Verification to Java. INFORUM, -

IEEE
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca, "LiquidJava: Adding Lightweight Verification to Java" in INFORUM, , 2021, pp. -, doi:

BIBTEX
@InProceedings{52932, author = {Catarina Gamboa and Paulo Canelas Santos and Christopher Timperley and Alcides Fonseca}, title = {LiquidJava: Adding Lightweight Verification to Java}, booktitle = {INFORUM}, year = 2021, pages = {-}, address = {}, publisher = {} }