Your query returned 2 results.

• Design of Optimal Reinforced Concrete Bases with Automatic Result Verification,
  A.B. Kocsis and A.E. Csallner
  Paper 36 from CCP: 86, ISBN 978-1-905088-17-1 (2007)
  
• Automatic Verified Shear Force Design of Reinforced Concrete Beams,
  A.E. Csallner and A.B. Kocsis
  Paper 38 from CCP: 86, ISBN 978-1-905088-17-1 (2007)