Towards a pluralistic view of formal methods (Q110519593)
Jump to navigation
Jump to search
doctoral thesis by Ko-Hung Kuan
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards a pluralistic view of formal methods |
doctoral thesis by Ko-Hung Kuan |
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