Skip to main content
Home

Main menu

  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
    • How to submit
    • Submit article
  • Contacts

Shilova Svetlana

Search

Svetlana
Shilova
E-mail
shilov61@mail.ru

List of Articles:

Shilov N.,
Bodin E.,
Shilova S.
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler  // 
Computer Science. — 2010. — # 31
 — 
P. 139-154
Shilov N.,
Bodin E.,
Shilova S.
Fabulous arrays I: Operational and transformational semantics of static arrays in verification project F@BOOL@  // 
Computer Science. — 2009. — # 29
 — 
P. 119-138
© 2015 - 2021 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
    • About
      • Journal
      • Editorial
      • ISSN
    • Series
      • Computer Science
      • Mathematical Modeling in Geophysics
      • Numerical Analysis
      • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
    • Search
    • Authors
    • Submission
    • Contacts
    • Search