Wolfgang Schreiner

Identifiers

• name variant Wolfgang Schreiner 0.60 · backfill

Papers (3)

1. Towards the Formal Specification and Verification of Maple Programs cs.MS · 2012 · author #2
2. On Formal Specification of Maple Programs cs.MS · 2012 · author #2
3. Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs cs.LO · 2012 · author #1

Mentions

• 1207.2300 #2 · arxiv_oai · confidence 0.70 Wolfgang Schreiner
• 1207.2291 #2 · arxiv_oai · confidence 0.70 Wolfgang Schreiner
• 1202.4834 #1 · arxiv_oai · confidence 0.70 Wolfgang Schreiner
• 1207.2300 #2 · backfill · confidence 0.70 Wolfgang Schreiner
• 1207.2291 #2 · backfill · confidence 0.70 Wolfgang Schreiner
• 1202.4834 #1 · backfill · confidence 0.70 Wolfgang Schreiner

Frequent Coauthors

• Muhammad Taimoor Khan 2 shared papers