The role of formal techniques: past, current and future or how did software get so reliable without proof? (extended abstract)

v1

Type:Conference Paper

0 views

[![NobleID](https://www.nobleid.org/api/badge/9C6FBAEC.svg?ark=w1%2F20260515%2F9C6FBAEC&value=id)](https://nobleid.org/work/w1/20260515/9C6FBAEC)

ARK Inflections

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors