Victor Nikolayevich Kravets

• Constructive multi-level synthesis by way of functional properties