VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005) [Elektronski vir] : Edinburgh, UK, 09 April 2005
    Workshop on the Constructive Logic for Automated Software Engineering (2009 ; Edinburgh, UK)
    Vrsta gradiva - konferenčni zbornik
    Založništvo in izdelava - Amsterdam : Elsevier, 2006
    Jezik - angleški
    COBISS.SI-ID - 15327321

    Povezava(-e):

    http://www.sciencedirect.com/science/journal/15710661

Vnos na polico