Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Interactive Synthesis of Code Snippets
 
conference paper not in proceedings

Interactive Synthesis of Code Snippets

Gvero, Tihomir  
•
Kuncak, Viktor  
•
Piskac, Ruzica  
2011
Computer Aided Verification (CAV)
  • Details
  • Metrics
Type
conference paper not in proceedings
Author(s)
Gvero, Tihomir  
Kuncak, Viktor  
Piskac, Ruzica  
Date Issued

2011

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LARA  
Event nameEvent date
Computer Aided Verification (CAV)

2011

Available on Infoscience
May 25, 2011
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/67863
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés