Login / Signup

On Expressive and Model Checking Power of Propositional Program Logics.

Nikolay V. ShilovKwang Yi
Published in: Ershov Memorial Conference (2001)
Keyphrases