By the same authors

Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Department/unit(s)

Publication details

Title of host publicationProceedings of SSBSE 2013
DatePublished - 2013
Pages263-268
Volume8084 LNCS
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume8084

Projects

  • DAASE

    Project: Research project (funded)Research

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations