Catanzaro, Raimondo e Nelken, David. 'Come si costruisce un problema sociale'

Autor: Nelken, David, N. E. L. K. E. N. D.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3732::0a7612bf5975cf90b3bfbb51cb12eecc
http://hdl.handle.net/11393/39496

Analyse de code via une extension temporelle de la logique du premier-ordre

Autor: David Come, Julien Brunel, David Doose

Publikováno v: 21st Brazilian Symposium on Formal Methods
21st Brazilian Symposium on Formal Methods, Nov 2018, SALVADOR, Brazil
Lecture Notes in Computer Science ISBN: 9783030030438
SBMF

International audience; Formal methods and static analysis are widely used in software development, in particular in the context of safety-critical systems. They can be used to prove that the software behaviour complies to its specification: the soft

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afadd2a52cc21199e645389e4de9a822
https://hal.archives-ouvertes.fr/hal-01977847/document

The Active and Critical Participation: A Study on Belonging and Believing Among Young Catholics in Rome.

Autor: Casavecchia, Andrea¹ (AUTHOR) albafrancesca.canta@uniroma3.it, Canta, Alba Francesca¹ (AUTHOR), Turco, Benedetta² (AUTHOR) benedetta.turco@unicas.it

Publikováno v: Religions. Nov2024, Vol. 15 Issue 11, p1389. 14p.

The Means of Keeping.

Publikováno v: Publishers Weekly. 7/8/2024, Vol. 271 Issue 26, p179-179. 1/3p. 1 Color Photograph.

Decolonizing New Testament Studies: A Māori Perspective.

Autor: Te Kaawa, Wayne

Publikováno v: Journal for the Study of the New Testament; Sep2024, Vol. 47 Issue 1, p31-48, 18p