(Q110519593)
Statements
Towards a pluralistic view of formal methods (English)
1 reference
11 January 2022
Ko-Hung Kuan
1 reference
11 January 2022
1 reference
11 January 2022
1 reference
11 January 2022
Identifiers
1 reference
11 January 2022