Issues tracking systems verification using production rules... by Roman Katerinenko
Channel: ISST Laboratory
Date: 2012-12-16

"Issues tracking systems verification using production rules based on binary decision diagrams" by Roman Katerinenko, NRU ITMO, Russia