Pages that link to "Item:Q865643"

The following pages link to Nikolaj Popov (Q865643):

Displaying 3 items.

• \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
• Using computer algebra techniques for the specification, verification and synthesis of recursive programs (Q1025311) (← links)
• Sound and Complete Verification Condition Generator for Functional Recursive Programs (Q2912122) (← links)