PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Norman G., Wiklicky H., (eds.) .. Quantitative aspects of programming languages and systems (2011-12). Preface. In: Theoretical Computer Science. Editorial, vol. 538 article n. 1. Elsevier, 2014.
 
 
Abstract
(English)
URL: http://www.sciencedirect.com/science/article/pii/S0304397514003818
DOI: 10.1016/j.tcs.2014.05.011
Subject Programming languages
Formal methods
D.2.4 Software/Program Verification. Formal methods
D.3 PROGRAMMING LANGUAGES


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional