APA (7th ed.) Citation

Celestrín, A., (DISI), D. o. C. S. a. E. B., (UNIBO), A. M. S. U. d. B. =. U. o. B., (FOCUS), F. o. C. U. S., d'Azur, C. I. d. C., (Inria), I. N. d. R. e. I. e. e. A. N. d. R. e. I. e. e. A., . . . Laneve, C. (2017). Static analysis of concurrent programs based on behavioral type systems ; Analyse statique de programmes concurrents basés sur des systèmes de type comportemental. https://inria.hal.science/tel-01660749 ; Programming Languages [cs.PL]. University of Bologna, 2017. English. ⟨NNT : ⟩.

Chicago Style (17th ed.) Citation

Celestrín, Abel, Department of Computer Science and Engineering Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Foundations of Component-based Ubiquitous Systems (FOCUS), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique-Institut National de Recherche en Informatique et en Automatique (Inria), University of Bologna, and Cosimo Laneve. "Static Analysis of Concurrent Programs Based on Behavioral Type Systems ; Analyse Statique De Programmes Concurrents Basés Sur Des Systèmes De Type Comportemental." Https://inria.hal.science/tel-01660749 ; Programming Languages [cs.PL]. University of Bologna, 2017. English. ⟨NNT : ⟩ 2017.

MLA (9th ed.) Citation

Celestrín, Abel, et al. "Static Analysis of Concurrent Programs Based on Behavioral Type Systems ; Analyse Statique De Programmes Concurrents Basés Sur Des Systèmes De Type Comportemental." Https://inria.hal.science/tel-01660749 ; Programming Languages [cs.PL]. University of Bologna, 2017. English. ⟨NNT : ⟩, 2017.