Pages that link to "Item:Q1819947"

The following pages link to On the role of automated theorem proving in the compile-time derivation of concurrency (Q1819947):

Displaying 1 item.

• A theorem prover for a computational logic (Q6488518) (← links)