Nayara de Souza SILVA, Vaston Gonçalves da COSTA, Marcelo Henrique Stoppa,
Verificação formal de sistemas digitais embarcados,
Tecnologias em pesquisa: engenharias,
2017,
Pages 121-134,
http://dx.doi.org/10.5151/9788580392234-08,
(/txt-download/3984)
Keywords: &lt;QuerySet [&lt;Tag: a&gt;, &lt;Tag: t&gt;, &lt;Tag: e&gt;, &lt;Tag: i&gt;, &lt;Tag: c&gt;, &lt;Tag: n&gt;, &lt;Tag:  &gt;, &lt;Tag: S&gt;, &lt;Tag: X&gt;]&gt;