( en | de | ru )

 

  2. person
  3. Matti Järvisalo

Matti Järvisalo

Structure-based satisfiability checking : analyzing and harnessing the potential.
. Helsinki University of Technology, Finland, (2008)base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/4551).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found