No. Title Author Year
1 Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors Müller, Peter 2017
2 LIPIcs, Volume 74, ECOOP'17, Complete Volume Müller, Peter 2017
3 Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201) Dolby, Julian et al. 2016
4 Modular Verification of Finite Blocking in Non-terminating Programs Boström, Pontus et al. 2015
5 Compiling Geometric Algebra Computations into Reconfigurable Hardware Accelerators Huthmann, Jens et al. 2010
6 07091 Abstracts Collection -- Mobility, Ubiquity and Security Barthe, Gilles et al. 2007
7 07091 Executive Summary -- Mobility, Ubiquity and Security Barthe, Gilles et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint Published by LZI