"Verification in the Grand Challenge."

Jim Woodcock et al. (2021)

Details and statistics

DOI: 10.1145/3477355.3477363

access: closed

type: Part in Book or Collection

metadata version: 2023-02-17