Introduction to the Special Collection from PRDC 2023

This is a special issue of Formal Aspects of Computing for the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023).

Saved in:

Bibliographic Details
Published in	Formal aspects of computing Vol. 36; no. 4; pp. 1 - 3
Main Authors	Hou, Zhe, Lin, Yun
Format	Journal Article
Language	English
Published	New York, NY ACM 05.12.2024
Subjects	General and reference General and reference / Cross-computing tools and techniques General and reference / Cross-computing tools and techniques / Reliability Software and its engineering Software and its engineering / Software organization and properties Theory of computation Theory of computation / Logic Theory of computation / Models of computation Theory of computation / Models of computation / Computability Theory of computation / Semantics and reasoning
Online Access	Get full text
ISSN	0934-5043 1433-299X 1433-299X
DOI	10.1145/3706576

More Information
Summary:	This is a special issue of Formal Aspects of Computing for the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023).
ISSN:	0934-5043 1433-299X 1433-299X
DOI:	10.1145/3706576