フィンガープリント Verifying business rules using model-checking techniques for non-specialist in model-checking' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。