Trace monitoring with free variables

Bibliographic Details
Main Author: Avgustinov, Pavel
Published: University of Oxford 2009
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526562
id ndltd-bl.uk-oai-ethos.bl.uk-526562
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-5265622015-03-20T06:26:27ZTrace monitoring with free variablesAvgustinov, Pavel2009005.3University of Oxfordhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526562Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
topic 005.3
spellingShingle 005.3
Avgustinov, Pavel
Trace monitoring with free variables
author Avgustinov, Pavel
author_facet Avgustinov, Pavel
author_sort Avgustinov, Pavel
title Trace monitoring with free variables
title_short Trace monitoring with free variables
title_full Trace monitoring with free variables
title_fullStr Trace monitoring with free variables
title_full_unstemmed Trace monitoring with free variables
title_sort trace monitoring with free variables
publisher University of Oxford
publishDate 2009
url http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.526562
work_keys_str_mv AT avgustinovpavel tracemonitoringwithfreevariables
_version_ 1716797197520994304