Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

snisy [2011/01/18 16:00]
vkuncak
snisy [2011/01/18 16:01] (current)
vkuncak
Line 1: Line 1:
 ====== Snippet Synthesis Tool ====== ====== Snippet Synthesis Tool ======
  
-SniSy is interactive Snippet Synthesis ​tool.+SniSy is tool for interactive snippet synthesis.
  
  
 
snisy.txt · Last modified: 2011/01/18 16:01 by vkuncak