Program Logics of Renominative Level with the Composition of Predicate Complement.

Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak

Browse the full ICTERI paper archive.