Pages that link to "Item:Q5423862"
From MaRDI portal
The following pages link to Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (Q5423862):
Displayed 3 items.
The following pages link to Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (Q5423862):
Displayed 3 items.